Modelling the Northeast Atlantic circulation : implications for the spring invasion of shelf regions by Calanus finmarchicus

The appearance in spring of the copepod Calanus finmarchicus in continental shelf waters of the northeastern Atlantic has been hypothesized to be mainly attributable to invasion from across the continental slope rather than in situ overwintering. This paper describes the application of a hydrodynamic circulation model and a particle-tracking model to Northeast Atlantic waters in order to assess the influence of the flow field and ascent migration parameters on the spring invasion of C. finmarchicus. For hydrodynamic modelling, the Hamburg Shelf-Ocean Model (HAMSOM) was applied to the North Atlantic and Nordic Seas and forced with daily mean atmospheric data. Simulated flow fields from HAMSOM serve as forcing functions for a particle-tracking model of the same region. The robustness of the simulated shelf invasion in three target boxes of the Northeast Atlantic Shelf was assessed by means of a sensitivity analysis with respect to variations in four key migration parameters: overwintering depth, ascent rate, ascent timing, and depth during residence in upper layers. The invasion of the northern North Sea and Norwegian Shelf waters is more sensitive to ascent migration parameters than invasion of the Faroese Shelf. The main reason for enhanced sensitivity of the North Sea invasion is the time and space-dependent flow structure in the Faroe-Shetland Channel. Dense aggregations of overwintering C. finmarchicus are found in the Channel, but because of the complex flow field only a proportion of the overwintering stock has the capacity to reach the North Sea

Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

Given a formula in quantifier-free Presburger arithmetic, if it has a satisfying solution, there is one whose size, measured in bits, is polynomially bounded in the size of the formula. In this paper, we consider a special class of quantifier-free Presburger formulas in which most linear constraints are difference (separation) constraints, and the non-difference constraints are sparse. This class has been observed to commonly occur in software verification. We derive a new solution bound in terms of parameters characterizing the sparseness of linear constraints and the number of non-difference constraints, in addition to traditional measures of formula size. In particular, we show that the number of bits needed per integer variable is linear in the number of non-difference constraints and logarithmic in the number and size of non-zero coefficients in them, but is otherwise independent of the total number of linear constraints in the formula. The derived bound can be used in a decision procedure based on instantiating integer variables over a finite domain and translating the input quantifier-free Presburger formula to an equi-satisfiable Boolean formula, which is then checked using a Boolean satisfiability solver. In addition to our main theoretical result, we discuss several optimizations for deriving tighter bounds in practice. Empirical evidence indicates that our decision procedure can greatly outperform other decision procedures.Comment: 26 page

Supersymmetric Kaluza-Klein reductions of M-waves and MKK-monopoles

We investigate the Kaluza-Klein reductions to ten dimensions of the purely gravitational half-BPS M-theory backgrounds: the M-wave and the Kaluza-Klein monopole. We determine the moduli space of smooth (supersymmetric) Kaluza-Klein reductions by classifying the freely-acting spacelike Killing vectors which preserve some Killing spinor. As a consequence we find a wealth of new supersymmetric IIA configurations involving composite and/or bound-state configurations of waves, D0 and D6-branes, Kaluza-Klein monopoles in type IIA and flux/nullbranes, and some other new configurations. Some new features raised by the geometry of the Taub-NUT space are discussed, namely the existence of reductions with no continuous moduli. We also propose an interpretation of the flux 5-brane in terms of the local description (close to the branes) of a bound state of D6-branes and ten-dimensional Kaluza-Klein monopoles.Comment: 36 pages (v2: Reference added, "draft" mode disabled; v3: two singular reductions discarded, appendix on spin structures added, references updated

Conservation laws for multidimensional systems and related linear algebra problems

We consider multidimensional systems of PDEs of generalized evolution form with t-derivatives of arbitrary order on the left-hand side and with the right-hand side dependent on lower order t-derivatives and arbitrary space derivatives. For such systems we find an explicit necessary condition for existence of higher conservation laws in terms of the system's symbol. For systems that violate this condition we give an effective upper bound on the order of conservation laws. Using this result, we completely describe conservation laws for viscous transonic equations, for the Brusselator model, and the Belousov-Zhabotinskii system. To achieve this, we solve over an arbitrary field the matrix equations SA=A^tS and SA=-A^tS for a quadratic matrix A and its transpose A^t, which may be of independent interest.Comment: 12 pages; proof of Theorem 1 clarified; misprints correcte

Noise in neurons is message-dependent

Neuronal responses are conspicuously variable. We focus on one particular aspect of that variability: the precision of action potential timing. We show that for common models of noisy spike generation, elementary considerations imply that such variability is a function of the input, and can be made arbitrarily large or small by a suitable choice of inputs. Our considerations are expected to extend to virtually any mechanism of spike generation, and we illustrate them with data from the visual pathway. Thus, a simplification usually made in the application of information theory to neural processing is violated: noise {\sl is not independent of the message}. However, we also show the existence of {\sl error-correcting} topologies, which can achieve better timing reliability than their components.Comment: 6 pages,6 figures. Proceedings of the National Academy of Sciences (in press

Sawja: Static Analysis Workshop for Java

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs

Variational formulas of higher order mean curvatures

In this paper, we establish the first variational formula and its Euler-Lagrange equation for the total $2p$-th mean curvature functional $\mathcal {M}_{2p}$ of a submanifold $M^n$ in a general Riemannian manifold $N^{n+m}$ for $p=0,1,...,[\frac{n}{2}]$. As an example, we prove that closed complex submanifolds in complex projective spaces are critical points of the functional $\mathcal {M}_{2p}$, called relatively $2p$-minimal submanifolds, for all $p$. At last, we discuss the relations between relatively $2p$-minimal submanifolds and austere submanifolds in real space forms, as well as a special variational problem.Comment: 13 pages, to appear in SCIENCE CHINA Mathematics 201

Supersymmetric black rings and three-charge supertubes

We present supergravity solutions for 1/8-supersymmetric black supertubes with three charges and three dipoles. Their reduction to five dimensions yields supersymmetric black rings with regular horizons and two independent angular momenta. The general solution contains seven independent parameters and provides the first example of non-uniqueness of supersymmetric black holes. In ten dimensions, the solutions can be realized as D1-D5-P black supertubes. We also present a worldvolume construction of a supertube that exhibits three dipoles explicitly. This description allows an arbitrary cross-section but captures only one of the angular momenta.Comment: 59 pages, 6 figures; v2: minor correction

AdS spacetimes from wrapped D3-branes

We derive a geometrical characterisation of a large class of AdS_3 and AdS_2 supersymmetric spacetimes in IIB supergravity with non-vanishing five-form flux using G-structures. These are obtained as special cases of a class of supersymmetric spacetimes with an $\mathbb{R}^{1,1}$ or $\mathbb{R}$ (time) factor that are associated with D3-branes wrapping calibrated 2- or 3- cycles, respectively, in manifolds with SU(2), SU(3), SU(4) and G_2 holonomy. We show how two explicit AdS solutions, previously constructed in gauged supergravity, satisfy our more general G-structure conditions. For each explicit solution we also derive a special holonomy metric which, although singular, has an appropriate calibrated cycle. After analytic continuation, some of the classes of AdS spacetimes give rise to known classes of BPS bubble solutions with $\mathbb{R}\times SO(4)\times SO(4)$, $\mathbb{R}\times SO(4)\times U(1)$, and $\mathbb{R}\times SO(4)$ symmetry. These have 1/2, 1/4 and 1/8 supersymmetry, respectively. We present a new class of 1/8 BPS geometries with $\mathbb{R}\times SU(2)$ symmetry, obtained by analytic continuation of the class of AdS spacetimes associated with D3-branes wrapped on associative three-cycles.Comment: 1+30 pages; v2, references added; v3, typos corrected, reference adde